Classes of finite relations as initial abstract data types I
نویسندگان
چکیده
منابع مشابه
Process Algebra as Abstract Data Types
In this paper we introduced an algebraic semantics for process algebra in form of abstract data types. For that purpose, we developed a particular type ofΣ algebra, the seed algebra, which describes exactly the behavior of a process within a labeled transition system. We have shown the possibility of characterizing the bisimulation of two processes with the isomorphism of their corresponding se...
متن کاملSemantic Networks as Abstract Data Types
system which is shown to be noetherian and confluent. The metanet is correct, in the sense that terms built of operations and individuals from the domain of semantic networks,i.e. describing networks can be reduced into an equivalent minimal genera ting expression which is not further reduc ible and which contains only constructors. II SPECIFICATION OF A METANET Because of the abstraction fro...
متن کاملBuilding independence relations in abstract elementary classes
We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a forking-like notion for types of singleton elements. Theorem 0.1 (Superstability from categoricity). Let K be a (< κ)-tame AEC with amalgamation. If κ = iκ > ...
متن کاملDistributed Abstract Data Types
Abstract. In this paper we introduce the concept of Distributed Abstract Data Type (DADT), a new programming model simplifying the development of distributed, context-aware applications. A DADT instance logically encapsulates a collection of ADT instances distributed throughout the system. DADT operations specify the semantics of access to this distributed state by using dedicated programming c...
متن کاملAbstract Constraint Data Types
Constraint Data Types José Luiz Fiadeiro and Fernando Orejas Dep. of Computer Science, Royal Holloway University of London, Egham TW20 0EX, UK [email protected] 2 Dep. de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, 08034 Barcelona, Spain [email protected] Abstract. Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1991
ISSN: 0012-365X
DOI: 10.1016/0012-365x(91)90147-t